Character Picker (HTML Toolbar)
The Character Picker helps you to insert HTML special characters into HTML document very easily. If you click on a character, the corresponding character code will be inserted into the active document.

Shortcuts
HTML Toolbar: